Univalent polymorphism

Univalent polymorphism

We show that Martin Hyland's effective topos can be exhibited as the homotopy category of a path category $\mathbb{EFF}$. Path categories are categories of fibrant objects in the sense of Brown satisfying two additional properties and as such provide a context in which one can interpret many notions from homotopy theory and Homotopy Type Theory. Within the path category $\mathbb{EFF}$ one can i...

Univalent Functions with Univalent Derivatives. Ii

Univalent completion

We show by elementary means that every Kan fibration in simplicial sets can be embedded in a univalent Kan fibration. Mathematics Subject Classification 55R15 · 55R35 · 55U10 · 18C50

Sufficient Inequalities for Univalent Functions

In this work, applying Lemma due to Nunokawa et. al. cite{NCKS}, we obtain some sufficient inequalities for some certain subclasses of univalent functions.

Nonvanishing Univalent Functions*

The class S of functions g(z) = z + c 2 z 2 + c 3 z 3 + ... analytic and univalent in the unit disk Izr < 1 has been thoroughly studied, and its properties are well known. Our purpose is to investigate another class of functions which, by contrast, seems to have been rather neglected. This is the class S o of functions f ( z ) = 1 + a 1 z + a 2 z Z + . . , analytic, univalent, and nonvanishing ...